They register if plugged in to a PS/2 port. Commercial PS/2-to-USB converters don't handle them though